Labels:text | screenshot | menu | font OCR: -- Our solution to Outside Assignment 5: with TEXT_I0; use TEXT_IO; procedure LEDIT is MAXLENGTH constant := 80; MAX_LINE_NUMBER: constant := 29_999; type TEA TEXT is record LEN: INTEGER range 0.. MAX_LENGTH = 0; VAL: STRING(1 MAX_LENGTH); end record; type LINK: type P is access LINK: type LINK is record NUM : POSITIVE; LINE : TEXT; NEXT : P: end record; HEAD : P = new LINK; : P; TEMP : FILE_TYPE: INPUT_FILE OUTPUT_FILE : FILE_TYPE; : TEXT: INPUT FINISHED LINE_NUM : BOOLEAN := FALSE; : NATURAL := 10; function STRCT in TEXT) return STRING is separate: procedure READ_INPUT_FILE is separate; procedure DO COMMAND is separate: begin PUT("Input file: "); GET_LINE(INPUT.VAL, INPUT.LEN); READ_INPUT FILE; PUT("Output file: "); GET_LINE(INPUT.VAL, INPUT.LEN); CREATE (OUTPUT_FILE, NAME => STR(INPUT)) ...